🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·12h
📏Linear Logic
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Python Fundamentals: case
dev.to·4h·
Discuss: DEV
✅Format Verification
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·3d
🏗️Constructive Mathematics
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
“A Curious Synchronicity: Religious Studies as Inquiry-Based Learning in Higher Education”: My Newly Published Teaching Essay
apilgriminnarnia.com·2h
🔬Academic Search
How to actually use Model Context Protocol
seangoedecke.com·16h
⚡Proof Automation
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·4h
🖥️Terminal Renaissance
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·22m·
Discuss: Hacker News
🔒WASM Capabilities
Opening a Six-Lock Safe With One Key Using Brunnian Links
hackaday.com·17h
🔓Password Cracking
Dual numbers
funcall.blogspot.com·23h·
Discuss: www.blogger.com
📐Interval Arithmetic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Historical highlights?
logicmatters.net·2d
🔀Category Theory
A Wide Reduction Trick (2022)
words.filippo.io·13h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·8h
🔄Reproducible Builds
LLMs Are Bad at Being Forced
morphllm.com·4h·
Discuss: Hacker News
💻Local LLMs